Câu ví dụ
- Nếu tiên đề chọn là đúng, thì một tập hợp là vô hạn khi và chỉ khi nó bao gồm một tập hợp con vô hạn đếm được.
- Nếu một người bác bỏ tiên đề chọn đó, thì tình hình sẽ phức tạp hơn, với các số đếm vô hạn bổ sung không phải là số aleph nữa.
- Sau khi khám phá ra các nghịch lý trong lý thuyết tập không hình thức, đã có nhiều hệ tiên đề được đề nghị vào đầu thế kỷ thứ 20, trong đó có các tiên đề Zermelo–Fraenkel, với tiên đề chọn là nổi tiếng nhất.
- (Có thể chứng minh rằng, sử dụng tiên đề chọn lựa,là có những trò chơi với—ngay cả là đầy đủ thông tin hoàn toàn, và chỉ có kết quả là "thắng" hay "thua"— và không người chơi nào có chiến thuật để chiến thắng.)
- (Có thể chứng minh rằng, sử dụng tiên đề chọn lựa,là có những trò chơi với—ngay cả là đầy đủ thông tin hoàn toàn, và chỉ có kết quả là “thắng” hay “thua”— và không người chơi nào có chiến thuật để chiến thắng.)
